CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016

Source URL: clark.ohioboe.com

A Tale of Two Erasure Codes in HDFS Mingyuan Xia, McGill University; Mohit Saxena, Mario Blaum, and David A. Pease, IBM Research Almaden https://www.usenix.org/conference/fast15/technical-sessions/presentation/xia This

Source URL: www.usenix.org

• Computing
• Free software
• Concurrent computing
• Apache Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Coding theory
• RAID
• Computer data storage
• Erasure code
• Google File System
• Disk formatting

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Source URL: www.usenix.org

• Computing
• Internet
• Anonymity
• Cryptography
• Internet privacy
• Dining cryptographers problem
• Internet Standards
• Internet Relay Chat
• Clientserver model
• Anonymous web browsing
• Server
• Anonymizer

NuCypher KMS: 分布式密钥管理系统 Michael Egorov∗ 和 MacLane Wilkison† NuCypher David Nuñez‡ NICS 实 验 室, 马 拉 加 大 学, 西 班 牙

Source URL: www.nucypher.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016

Source URL: clark.ohioboe.com

1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE

Source URL: www.ieee-security.org

• Computer network security
• Security engineering
• Computing
• Cyberwarfare
• Honeypot
• Spamming
• Robotics
• Robot
• Cyber-physical system
• Computer security
• Client honeypot

CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Deputy Director  Jason Baker February 8, 2016 The Board will hold a regular meeting on Tu

Source URL: clark.ohioboe.com

Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga

Source URL: xushijie.github.io

• Computing
• Object-oriented programming languages
• Scripting languages
• Programming languages
• Java platform
• Java specification requests
• Da Vinci Machine
• Java bytecode
• JRuby
• Java virtual machine
• Java class file
• Scala

Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

Source URL: qav.comlab.ox.ac.uk

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation